#add_executable(TemplateChecker main.cpp)
add_executable(Arrayboundchecker main.cpp)

# specify the libs that the target 'TemplateChecker' needs
# !!! DO NOT change the order of the libs !!!
# libs will be linked in this order, and changing the order could lead to link errors
#FSCA +taint+xml
#target_link_libraries(TemplateChecker
target_link_libraries(Arrayboundchecker
    checkers
    point_to_analysis
    framework
    cfg
    DetectMe
    solver
    arraybound
    loopupbound
    redundantjudgement
    taint-check
    xml
    ${CLANG_LIBS}
    ${LLVM_LIBS}
    ${OTHER_LIBS}
    ${Z3LINK}
    )
#ESAF
# target_link_libraries(TemplateChecker
#   checkers
#   point_to_analysis
#   framework
#   solver
#   arraybound
#   loopupbound
#   redundantjudgement
#   taint-check
#   xml
#   ${CLANG_LIBS}
#   ${LLVM_LIBS}
#   ${OTHER_LIBS}
#   ${Z3LINK}
# )


#FSCA = SAFE-HW+DetextMe -OK
# target_link_libraries(TemplateChecker
#     checkers
#     point_to_analysis
#     framework
#     cfg
#     DetectMe
#     ${CLANG_LIBS}
#     ${LLVM_LIBS}
#     ${OTHER_LIBS}
#     )

#SAFE-HW
# target_link_libraries(TemplateChecker
#   checkers
#   point_to_analysis
#   framework
#   cfg
#   ${CLANG_LIBS}
#   ${LLVM_LIBS}
#   ${OTHER_LIBS}
# )



